dividing seven by three